node(1).
node(2).
node(3).
node(4).
node(5).
node(6).
node(7).
node(8).
node(9).
node(10).
node(11).
node(12).
node(13).
node(14).
node(15).
node(16).
node(17).
node(18).
node(19).
node(20).
node(21).
node(22).
node(23).
node(24).
node(25).
node(26).
node(27).
node(28).
node(29).
node(30).
node(31).
node(32).
node(33).
node(34).
node(35).
node(36).
node(37).
node(38).
node(39).
node(40).
node(41).
node(42).
node(43).
node(44).
node(45).
node(46).
node(47).
node(48).
node(49).
node(50).
node(51).
node(52).
node(53).
node(54).
node(55).
node(56).
node(57).
node(58).
node(59).
node(60).
node(61).
node(62).
node(63).
node(64).
node(65).
node(66).
node(67).
node(68).
node(69).
node(70).
node(71).
node(72).
node(73).
node(74).
node(75).
node(76).
node(77).
node(78).
node(79).
node(80).
node(81).
node(82).
node(83).
node(84).
node(85).
node(86).
node(87).
node(88).
node(89).
node(90).
node(91).
node(92).
node(93).
node(94).
node(95).
node(96).
node(97).
node(98).
node(99).
node(100).
node(101).
node(102).
node(103).
node(104).
node(105).
node(106).
node(107).
node(108).
node(109).
node(110).
node(111).
node(112).
node(113).
node(114).
node(115).
node(116).
node(117).
node(118).
node(119).
node(120).
node(121).
node(122).
node(123).
node(124).
node(125).
node(126).
node(127).
node(128).
node(129).
node(130).
link(1,27) :- #0.989.
link(27,1) :- #0.166.
link(1,28) :- #0.432.
link(28,1) :- #0.313.
link(1,34) :- #0.049.
link(34,1) :- #0.662.
link(1,36) :- #0.247.
link(36,1) :- #0.096.
link(1,50) :- #0.584.
link(50,1) :- #0.061.
link(1,59) :- #0.975.
link(59,1) :- #0.372.
link(1,70) :- #0.996.
link(70,1) :- #0.074.
link(1,73) :- #0.776.
link(73,1) :- #0.861.
link(1,75) :- #0.36.
link(75,1) :- #0.537.
link(1,126) :- #0.755.
link(126,1) :- #0.301.
link(2,15) :- #0.758.
link(15,2) :- #0.854.
link(2,27) :- #0.961.
link(27,2) :- #0.8.
link(2,36) :- #0.446.
link(36,2) :- #0.256.
link(2,39) :- #0.683.
link(39,2) :- #0.383.
link(2,44) :- #0.94.
link(44,2) :- #0.932.
link(2,49) :- #0.11.
link(49,2) :- #0.912.
link(2,50) :- #0.209.
link(50,2) :- #0.861.
link(2,73) :- #0.938.
link(73,2) :- #0.843.
link(2,77) :- #0.469.
link(77,2) :- #0.474.
link(2,89) :- #0.747.
link(89,2) :- #0.986.
link(2,96) :- #0.975.
link(96,2) :- #0.657.
link(2,97) :- #0.46.
link(97,2) :- #0.372.
link(2,129) :- #0.019.
link(129,2) :- #0.792.
link(3,9) :- #0.959.
link(9,3) :- #0.079.
link(3,16) :- #0.85.
link(16,3) :- #0.41.
link(3,17) :- #0.171.
link(17,3) :- #0.823.
link(3,37) :- #0.589.
link(37,3) :- #0.042.
link(3,49) :- #0.85.
link(49,3) :- #0.725.
link(3,52) :- #0.733.
link(52,3) :- #0.212.
link(3,58) :- #0.672.
link(58,3) :- #0.016.
link(3,63) :- #0.48.
link(63,3) :- #0.446.
link(3,64) :- #0.574.
link(64,3) :- #0.932.
link(3,109) :- #0.616.
link(109,3) :- #0.123.
link(3,118) :- #0.874.
link(118,3) :- #0.309.
link(3,124) :- #0.988.
link(124,3) :- #0.032.
link(3,129) :- #0.262.
link(129,3) :- #0.846.
link(4,27) :- #0.717.
link(27,4) :- #0.311.
link(4,32) :- #0.281.
link(32,4) :- #0.842.
link(4,38) :- #0.173.
link(38,4) :- #0.902.
link(4,42) :- #0.165.
link(42,4) :- #0.882.
link(4,73) :- #0.808.
link(73,4) :- #0.696.
link(4,86) :- #0.658.
link(86,4) :- #0.116.
link(4,114) :- #0.919.
link(114,4) :- #0.87.
link(4,118) :- #0.533.
link(118,4) :- #0.012.
link(5,7) :- #0.338.
link(7,5) :- #0.703.
link(5,36) :- #0.394.
link(36,5) :- #0.896.
link(5,38) :- #0.378.
link(38,5) :- #0.89.
link(5,39) :- #0.035.
link(39,5) :- #0.85.
link(5,56) :- #0.609.
link(56,5) :- #0.571.
link(5,57) :- #0.177.
link(57,5) :- #0.253.
link(5,60) :- #0.576.
link(60,5) :- #0.086.
link(5,83) :- #0.031.
link(83,5) :- #0.168.
link(5,90) :- #0.302.
link(90,5) :- #0.835.
link(5,91) :- #0.53.
link(91,5) :- #0.92.
link(5,98) :- #0.591.
link(98,5) :- #0.342.
link(5,104) :- #0.655.
link(104,5) :- #0.464.
link(5,105) :- #0.122.
link(105,5) :- #0.968.
link(5,109) :- #0.325.
link(109,5) :- #0.068.
link(6,16) :- #0.272.
link(16,6) :- #0.345.
link(6,40) :- #0.421.
link(40,6) :- #0.249.
link(6,42) :- #0.169.
link(42,6) :- #0.939.
link(6,46) :- #0.679.
link(46,6) :- #0.985.
link(6,52) :- #0.891.
link(52,6) :- #0.717.
link(6,68) :- #0.062.
link(68,6) :- #0.808.
link(6,73) :- #0.961.
link(73,6) :- #0.385.
link(6,83) :- #0.492.
link(83,6) :- #0.165.
link(6,92) :- #0.465.
link(92,6) :- #0.337.
link(6,124) :- #0.386.
link(124,6) :- #0.265.
link(7,19) :- #0.646.
link(19,7) :- #0.362.
link(7,33) :- #0.492.
link(33,7) :- #0.762.
link(7,37) :- #0.762.
link(37,7) :- #0.265.
link(7,67) :- #0.215.
link(67,7) :- #0.946.
link(7,68) :- #0.082.
link(68,7) :- #0.225.
link(7,86) :- #0.831.
link(86,7) :- #0.396.
link(7,90) :- #0.139.
link(90,7) :- #0.743.
link(7,93) :- #0.862.
link(93,7) :- #0.159.
link(7,104) :- #0.924.
link(104,7) :- #0.956.
link(7,119) :- #0.176.
link(119,7) :- #0.884.
link(7,121) :- #0.458.
link(121,7) :- #0.561.
link(7,124) :- #0.231.
link(124,7) :- #0.759.
link(7,126) :- #0.754.
link(126,7) :- #0.447.
link(8,19) :- #0.744.
link(19,8) :- #0.505.
link(8,21) :- #0.261.
link(21,8) :- #0.751.
link(8,27) :- #0.291.
link(27,8) :- #0.045.
link(8,39) :- #0.599.
link(39,8) :- #0.543.
link(8,44) :- #0.937.
link(44,8) :- #0.079.
link(8,61) :- #0.304.
link(61,8) :- #0.93.
link(8,64) :- #0.613.
link(64,8) :- #0.819.
link(8,88) :- #0.883.
link(88,8) :- #0.42.
link(8,122) :- #0.05.
link(122,8) :- #0.242.
link(9,21) :- #0.312.
link(21,9) :- #0.844.
link(9,37) :- #0.683.
link(37,9) :- #0.73.
link(9,49) :- #0.984.
link(49,9) :- #0.749.
link(9,53) :- #0.044.
link(53,9) :- #0.023.
link(9,78) :- #0.517.
link(78,9) :- #0.596.
link(9,87) :- #0.892.
link(87,9) :- #0.328.
link(9,98) :- #0.075.
link(98,9) :- #0.374.
link(9,117) :- #0.524.
link(117,9) :- #0.001.
link(9,120) :- #0.133.
link(120,9) :- #0.833.
link(10,13) :- #0.494.
link(13,10) :- #0.629.
link(10,17) :- #0.858.
link(17,10) :- #0.743.
link(10,18) :- #0.846.
link(18,10) :- #0.098.
link(10,23) :- #0.441.
link(23,10) :- #0.653.
link(10,35) :- #0.304.
link(35,10) :- #0.358.
link(10,38) :- #0.147.
link(38,10) :- #0.116.
link(10,39) :- #0.792.
link(39,10) :- #0.309.
link(10,49) :- #0.557.
link(49,10) :- #0.357.
link(10,57) :- #0.587.
link(57,10) :- #0.457.
link(10,73) :- #0.961.
link(73,10) :- #0.661.
link(10,77) :- #0.329.
link(77,10) :- #0.504.
link(10,97) :- #0.274.
link(97,10) :- #0.214.
link(10,100) :- #0.422.
link(100,10) :- #0.903.
link(10,110) :- #0.989.
link(110,10) :- #0.922.
link(10,111) :- #0.763.
link(111,10) :- #0.736.
link(10,117) :- #0.591.
link(117,10) :- #0.329.
link(10,119) :- #0.804.
link(119,10) :- #0.332.
link(11,33) :- #0.772.
link(33,11) :- #0.751.
link(11,69) :- #0.047.
link(69,11) :- #0.412.
link(11,70) :- #0.688.
link(70,11) :- #0.328.
link(11,78) :- #0.862.
link(78,11) :- #0.504.
link(11,93) :- #0.967.
link(93,11) :- #0.762.
link(11,95) :- #0.068.
link(95,11) :- #0.023.
link(11,108) :- #0.113.
link(108,11) :- #0.035.
link(11,110) :- #0.915.
link(110,11) :- #0.165.
link(11,121) :- #0.386.
link(121,11) :- #0.529.
link(11,126) :- #0.5.
link(126,11) :- #0.101.
link(12,13) :- #0.924.
link(13,12) :- #0.514.
link(12,17) :- #0.473.
link(17,12) :- #0.436.
link(12,19) :- #0.282.
link(19,12) :- #0.268.
link(12,21) :- #0.216.
link(21,12) :- #0.522.
link(12,38) :- #0.338.
link(38,12) :- #0.878.
link(12,50) :- #0.962.
link(50,12) :- #0.467.
link(12,52) :- #0.534.
link(52,12) :- #0.481.
link(12,70) :- #0.296.
link(70,12) :- #0.262.
link(12,79) :- #0.243.
link(79,12) :- #0.015.
link(12,83) :- #0.657.
link(83,12) :- #0.724.
link(12,84) :- #0.97.
link(84,12) :- #0.111.
link(12,98) :- #0.409.
link(98,12) :- #0.238.
link(12,106) :- #0.531.
link(106,12) :- #0.978.
link(12,110) :- #0.271.
link(110,12) :- #0.944.
link(13,15) :- #0.04.
link(15,13) :- #0.081.
link(13,18) :- #0.681.
link(18,13) :- #0.929.
link(13,28) :- #0.84.
link(28,13) :- #0.11.
link(13,34) :- #0.699.
link(34,13) :- #0.483.
link(13,51) :- #0.465.
link(51,13) :- #0.681.
link(13,52) :- #0.242.
link(52,13) :- #0.057.
link(13,67) :- #0.711.
link(67,13) :- #0.1.
link(13,73) :- #0.645.
link(73,13) :- #0.523.
link(13,95) :- #0.281.
link(95,13) :- #0.189.
link(14,21) :- #0.269.
link(21,14) :- #0.71.
link(14,24) :- #0.586.
link(24,14) :- #0.094.
link(14,34) :- #0.27.
link(34,14) :- #0.343.
link(14,36) :- #0.898.
link(36,14) :- #0.259.
link(14,44) :- #0.734.
link(44,14) :- #0.971.
link(14,47) :- #0.335.
link(47,14) :- #0.639.
link(14,56) :- #0.515.
link(56,14) :- #0.674.
link(14,75) :- #0.433.
link(75,14) :- #0.084.
link(14,85) :- #0.043.
link(85,14) :- #0.266.
link(14,102) :- #0.21.
link(102,14) :- #0.757.
link(14,105) :- #0.48.
link(105,14) :- #0.954.
link(14,113) :- #0.559.
link(113,14) :- #0.057.
link(14,122) :- #0.39.
link(122,14) :- #0.365.
link(15,27) :- #0.197.
link(27,15) :- #0.63.
link(15,35) :- #0.068.
link(35,15) :- #0.17.
link(15,37) :- #0.574.
link(37,15) :- #0.687.
link(15,41) :- #0.985.
link(41,15) :- #0.235.
link(15,52) :- #0.785.
link(52,15) :- #0.483.
link(15,76) :- #0.143.
link(76,15) :- #0.842.
link(15,79) :- #0.208.
link(79,15) :- #0.814.
link(15,100) :- #0.273.
link(100,15) :- #0.68.
link(15,113) :- #0.027.
link(113,15) :- #0.007.
link(15,120) :- #0.61.
link(120,15) :- #0.649.
link(15,125) :- #0.925.
link(125,15) :- #0.752.
link(15,128) :- #0.878.
link(128,15) :- #0.035.
link(16,22) :- #0.634.
link(22,16) :- #0.29.
link(16,24) :- #0.13.
link(24,16) :- #0.092.
link(16,35) :- #0.139.
link(35,16) :- #0.844.
link(16,41) :- #0.274.
link(41,16) :- #0.027.
link(16,42) :- #0.54.
link(42,16) :- #0.587.
link(16,65) :- #0.706.
link(65,16) :- #0.623.
link(16,71) :- #0.788.
link(71,16) :- #0.061.
link(16,79) :- #0.157.
link(79,16) :- #0.237.
link(16,82) :- #0.01.
link(82,16) :- #0.429.
link(16,120) :- #0.972.
link(120,16) :- #0.641.
link(16,124) :- #0.196.
link(124,16) :- #0.695.
link(17,18) :- #0.037.
link(18,17) :- #0.563.
link(17,40) :- #0.91.
link(40,17) :- #0.492.
link(17,46) :- #0.84.
link(46,17) :- #0.8.
link(17,58) :- #0.993.
link(58,17) :- #0.905.
link(17,61) :- #0.848.
link(61,17) :- #0.456.
link(17,89) :- #0.179.
link(89,17) :- #0.382.
link(17,92) :- #0.093.
link(92,17) :- #0.169.
link(17,97) :- #0.154.
link(97,17) :- #0.844.
link(17,115) :- #0.264.
link(115,17) :- #0.692.
link(17,121) :- #0.919.
link(121,17) :- #0.992.
link(17,123) :- #0.633.
link(123,17) :- #0.852.
link(18,33) :- #0.88.
link(33,18) :- #0.396.
link(18,46) :- #0.965.
link(46,18) :- #0.945.
link(18,51) :- #0.752.
link(51,18) :- #0.355.
link(18,53) :- #0.332.
link(53,18) :- #0.842.
link(18,67) :- #0.137.
link(67,18) :- #0.061.
link(18,71) :- #0.336.
link(71,18) :- #0.411.
link(18,91) :- #0.257.
link(91,18) :- #0.993.
link(18,110) :- #0.887.
link(110,18) :- #0.015.
link(18,124) :- #0.143.
link(124,18) :- #0.38.
link(19,26) :- #0.913.
link(26,19) :- #0.34.
link(19,31) :- #0.39.
link(31,19) :- #0.616.
link(19,41) :- #0.629.
link(41,19) :- #0.415.
link(19,52) :- #0.016.
link(52,19) :- #0.39.
link(19,64) :- #0.468.
link(64,19) :- #0.374.
link(19,84) :- #0.721.
link(84,19) :- #0.623.
link(19,87) :- #0.964.
link(87,19) :- #0.136.
link(19,89) :- #0.065.
link(89,19) :- #0.004.
link(19,98) :- #0.758.
link(98,19) :- #0.239.
link(19,101) :- #0.249.
link(101,19) :- #0.281.
link(19,103) :- #0.046.
link(103,19) :- #0.452.
link(19,107) :- #0.942.
link(107,19) :- #0.865.
link(19,127) :- #0.856.
link(127,19) :- #0.475.
link(20,23) :- #0.302.
link(23,20) :- #0.668.
link(20,30) :- #0.278.
link(30,20) :- #0.057.
link(20,45) :- #0.964.
link(45,20) :- #0.2.
link(20,48) :- #0.427.
link(48,20) :- #0.563.
link(20,53) :- #0.758.
link(53,20) :- #0.379.
link(20,54) :- #0.487.
link(54,20) :- #0.656.
link(20,66) :- #0.456.
link(66,20) :- #0.407.
link(20,82) :- #0.516.
link(82,20) :- #0.036.
link(20,91) :- #0.384.
link(91,20) :- #0.809.
link(20,96) :- #0.921.
link(96,20) :- #0.465.
link(20,101) :- #0.88.
link(101,20) :- #0.652.
link(20,106) :- #0.178.
link(106,20) :- #0.888.
link(20,108) :- #0.623.
link(108,20) :- #0.315.
link(20,130) :- #0.79.
link(130,20) :- #0.577.
link(21,29) :- #0.842.
link(29,21) :- #0.54.
link(21,31) :- #0.78.
link(31,21) :- #0.89.
link(21,33) :- #0.566.
link(33,21) :- #0.887.
link(21,37) :- #0.684.
link(37,21) :- #0.576.
link(21,51) :- #0.828.
link(51,21) :- #0.993.
link(21,52) :- #0.918.
link(52,21) :- #0.188.
link(21,91) :- #0.144.
link(91,21) :- #0.063.
link(21,105) :- #0.067.
link(105,21) :- #0.188.
link(21,109) :- #0.652.
link(109,21) :- #0.846.
link(21,111) :- #0.649.
link(111,21) :- #0.959.
link(21,117) :- #0.826.
link(117,21) :- #0.675.
link(21,125) :- #0.004.
link(125,21) :- #0.296.
link(22,103) :- #0.143.
link(103,22) :- #0.302.
link(22,107) :- #0.212.
link(107,22) :- #0.687.
link(23,47) :- #0.221.
link(47,23) :- #0.695.
link(23,71) :- #0.438.
link(71,23) :- #0.091.
link(23,74) :- #0.583.
link(74,23) :- #0.314.
link(23,78) :- #0.464.
link(78,23) :- #0.113.
link(23,81) :- #0.021.
link(81,23) :- #0.875.
link(23,85) :- #0.593.
link(85,23) :- #0.726.
link(23,88) :- #0.738.
link(88,23) :- #0.166.
link(23,95) :- #0.04.
link(95,23) :- #0.749.
link(23,110) :- #0.664.
link(110,23) :- #0.09.
link(23,113) :- #0.57.
link(113,23) :- #0.362.
link(23,114) :- #0.123.
link(114,23) :- #0.002.
link(23,121) :- #0.604.
link(121,23) :- #0.394.
link(24,29) :- #0.964.
link(29,24) :- #0.314.
link(24,35) :- #0.781.
link(35,24) :- #0.149.
link(24,36) :- #0.309.
link(36,24) :- #0.845.
link(24,48) :- #0.671.
link(48,24) :- #0.012.
link(24,53) :- #0.661.
link(53,24) :- #0.918.
link(24,58) :- #0.639.
link(58,24) :- #0.27.
link(24,63) :- #0.649.
link(63,24) :- #0.654.
link(24,67) :- #0.159.
link(67,24) :- #0.914.
link(24,76) :- #0.571.
link(76,24) :- #0.556.
link(24,77) :- #0.838.
link(77,24) :- #0.873.
link(24,80) :- #0.81.
link(80,24) :- #0.335.
link(24,92) :- #0.199.
link(92,24) :- #0.196.
link(24,105) :- #0.526.
link(105,24) :- #0.254.
link(24,111) :- #0.637.
link(111,24) :- #0.4.
link(24,118) :- #0.898.
link(118,24) :- #0.21.
link(24,120) :- #0.8.
link(120,24) :- #0.001.
link(24,123) :- #0.8.
link(123,24) :- #0.416.
link(25,26) :- #0.788.
link(26,25) :- #0.556.
link(25,31) :- #0.718.
link(31,25) :- #0.348.
link(25,70) :- #0.595.
link(70,25) :- #0.283.
link(25,78) :- #0.087.
link(78,25) :- #0.416.
link(25,82) :- #0.142.
link(82,25) :- #0.908.
link(25,88) :- #0.995.
link(88,25) :- #0.336.
link(25,91) :- #0.286.
link(91,25) :- #0.393.
link(25,103) :- #0.386.
link(103,25) :- #0.079.
link(25,108) :- #0.497.
link(108,25) :- #0.904.
link(25,120) :- #0.917.
link(120,25) :- #0.509.
link(25,126) :- #0.358.
link(126,25) :- #0.004.
link(26,43) :- #0.326.
link(43,26) :- #0.871.
link(26,44) :- #0.974.
link(44,26) :- #0.931.
link(26,52) :- #0.448.
link(52,26) :- #0.417.
link(26,56) :- #0.33.
link(56,26) :- #0.573.
link(26,70) :- #0.603.
link(70,26) :- #0.824.
link(26,71) :- #0.044.
link(71,26) :- #0.854.
link(26,75) :- #0.238.
link(75,26) :- #0.298.
link(26,83) :- #0.078.
link(83,26) :- #0.835.
link(26,92) :- #0.136.
link(92,26) :- #0.312.
link(26,113) :- #0.352.
link(113,26) :- #0.399.
link(26,116) :- #0.809.
link(116,26) :- #0.646.
link(26,118) :- #0.767.
link(118,26) :- #0.531.
link(27,47) :- #0.546.
link(47,27) :- #0.54.
link(27,52) :- #0.649.
link(52,27) :- #0.633.
link(27,54) :- #0.956.
link(54,27) :- #0.522.
link(27,68) :- #0.518.
link(68,27) :- #0.934.
link(27,92) :- #0.305.
link(92,27) :- #0.255.
link(27,102) :- #0.47.
link(102,27) :- #0.747.
link(27,103) :- #0.896.
link(103,27) :- #0.137.
link(27,117) :- #0.248.
link(117,27) :- #0.545.
link(27,121) :- #0.664.
link(121,27) :- #0.544.
link(28,30) :- #0.678.
link(30,28) :- #0.325.
link(28,41) :- #0.803.
link(41,28) :- #0.355.
link(28,49) :- #0.027.
link(49,28) :- #0.707.
link(28,59) :- #0.1.
link(59,28) :- #0.74.
link(28,60) :- #0.625.
link(60,28) :- #0.296.
link(28,78) :- #0.788.
link(78,28) :- #0.212.
link(28,90) :- #0.899.
link(90,28) :- #0.781.
link(28,105) :- #0.537.
link(105,28) :- #0.394.
link(28,116) :- #0.493.
link(116,28) :- #0.804.
link(28,120) :- #0.28.
link(120,28) :- #0.227.
link(28,125) :- #0.373.
link(125,28) :- #0.963.
link(29,43) :- #0.053.
link(43,29) :- #0.006.
link(29,49) :- #0.295.
link(49,29) :- #0.287.
link(29,59) :- #0.986.
link(59,29) :- #0.281.
link(29,67) :- #0.661.
link(67,29) :- #0.786.
link(29,75) :- #0.138.
link(75,29) :- #0.687.
link(29,81) :- #0.169.
link(81,29) :- #0.191.
link(29,82) :- #0.347.
link(82,29) :- #0.104.
link(29,99) :- #0.338.
link(99,29) :- #0.828.
link(29,101) :- #0.811.
link(101,29) :- #0.221.
link(29,119) :- #0.807.
link(119,29) :- #0.841.
link(29,124) :- #0.435.
link(124,29) :- #0.961.
link(30,40) :- #0.279.
link(40,30) :- #0.191.
link(30,47) :- #0.063.
link(47,30) :- #0.059.
link(30,115) :- #0.339.
link(115,30) :- #0.19.
link(30,117) :- #0.76.
link(117,30) :- #0.937.
link(30,124) :- #0.637.
link(124,30) :- #0.868.
link(30,125) :- #0.182.
link(125,30) :- #0.614.
link(31,36) :- #0.498.
link(36,31) :- #0.337.
link(31,38) :- #0.33.
link(38,31) :- #0.367.
link(31,49) :- #0.117.
link(49,31) :- #0.182.
link(31,59) :- #0.466.
link(59,31) :- #0.856.
link(31,71) :- #0.702.
link(71,31) :- #0.946.
link(31,89) :- #0.631.
link(89,31) :- #0.317.
link(31,94) :- #0.01.
link(94,31) :- #0.124.
link(31,95) :- #0.716.
link(95,31) :- #0.621.
link(31,101) :- #0.503.
link(101,31) :- #0.964.
link(31,113) :- #0.873.
link(113,31) :- #0.707.
link(31,117) :- #0.29.
link(117,31) :- #0.566.
link(32,35) :- #0.699.
link(35,32) :- #0.211.
link(32,38) :- #0.95.
link(38,32) :- #0.297.
link(32,53) :- #0.998.
link(53,32) :- #0.626.
link(32,64) :- #0.559.
link(64,32) :- #0.972.
link(32,66) :- #0.449.
link(66,32) :- #0.878.
link(32,68) :- #0.58.
link(68,32) :- #0.459.
link(32,72) :- #0.421.
link(72,32) :- #0.615.
link(32,74) :- #0.797.
link(74,32) :- #0.494.
link(32,85) :- #0.878.
link(85,32) :- #0.478.
link(32,97) :- #0.135.
link(97,32) :- #0.547.
link(32,103) :- #0.461.
link(103,32) :- #0.213.
link(32,115) :- #0.67.
link(115,32) :- #0.033.
link(32,125) :- #0.673.
link(125,32) :- #0.165.
link(33,45) :- #0.591.
link(45,33) :- #0.265.
link(33,46) :- #0.685.
link(46,33) :- #0.868.
link(33,55) :- #0.622.
link(55,33) :- #0.157.
link(33,57) :- #0.876.
link(57,33) :- #0.272.
link(33,61) :- #0.758.
link(61,33) :- #0.155.
link(33,63) :- #0.184.
link(63,33) :- #0.38.
link(33,69) :- #0.097.
link(69,33) :- #0.55.
link(33,76) :- #0.836.
link(76,33) :- #0.648.
link(33,82) :- #0.567.
link(82,33) :- #0.64.
link(33,110) :- #0.918.
link(110,33) :- #0.407.
link(34,37) :- #0.009.
link(37,34) :- #0.016.
link(34,49) :- #0.48.
link(49,34) :- #0.568.
link(34,57) :- #0.08.
link(57,34) :- #0.941.
link(34,73) :- #0.81.
link(73,34) :- #0.224.
link(34,77) :- #0.036.
link(77,34) :- #0.928.
link(34,93) :- #0.947.
link(93,34) :- #0.019.
link(34,96) :- #0.469.
link(96,34) :- #0.452.
link(34,103) :- #0.264.
link(103,34) :- #0.811.
link(35,41) :- #0.361.
link(41,35) :- #0.397.
link(35,51) :- #0.693.
link(51,35) :- #0.586.
link(35,71) :- #0.439.
link(71,35) :- #0.716.
link(35,76) :- #0.098.
link(76,35) :- #0.601.
link(35,95) :- #0.283.
link(95,35) :- #0.396.
link(35,113) :- #0.09.
link(113,35) :- #0.376.
link(35,119) :- #0.064.
link(119,35) :- #0.663.
link(35,126) :- #0.694.
link(126,35) :- #0.643.
link(36,56) :- #0.481.
link(56,36) :- #0.502.
link(36,61) :- #0.425.
link(61,36) :- #0.445.
link(36,67) :- #0.594.
link(67,36) :- #0.447.
link(36,84) :- #0.324.
link(84,36) :- #0.767.
link(36,85) :- #0.797.
link(85,36) :- #0.949.
link(36,86) :- #0.914.
link(86,36) :- #0.944.
link(36,94) :- #0.547.
link(94,36) :- #0.772.
link(36,101) :- #0.195.
link(101,36) :- #0.327.
link(36,104) :- #0.111.
link(104,36) :- #0.161.
link(36,115) :- #0.064.
link(115,36) :- #0.79.
link(36,124) :- #0.347.
link(124,36) :- #0.343.
link(36,125) :- #0.752.
link(125,36) :- #0.469.
link(37,60) :- #0.255.
link(60,37) :- #0.05.
link(37,64) :- #0.217.
link(64,37) :- #0.987.
link(37,97) :- #0.803.
link(97,37) :- #0.701.
link(37,98) :- #0.163.
link(98,37) :- #0.461.
link(37,103) :- #0.955.
link(103,37) :- #0.89.
link(37,104) :- #0.657.
link(104,37) :- #0.883.
link(37,110) :- #0.99.
link(110,37) :- #0.487.
link(37,128) :- #0.727.
link(128,37) :- #0.52.
link(37,130) :- #0.429.
link(130,37) :- #0.748.
link(38,41) :- #0.973.
link(41,38) :- #0.506.
link(38,53) :- #0.469.
link(53,38) :- #0.896.
link(38,109) :- #0.142.
link(109,38) :- #0.733.
link(38,119) :- #0.682.
link(119,38) :- #0.067.
link(38,129) :- #0.699.
link(129,38) :- #0.872.
link(39,60) :- #0.319.
link(60,39) :- #0.9.
link(39,67) :- #0.183.
link(67,39) :- #0.155.
link(39,82) :- #0.468.
link(82,39) :- #0.184.
link(39,89) :- #0.436.
link(89,39) :- #0.567.
link(39,90) :- #0.168.
link(90,39) :- #0.632.
link(39,99) :- #0.369.
link(99,39) :- #0.845.
link(39,110) :- #0.578.
link(110,39) :- #0.304.
link(39,111) :- #0.752.
link(111,39) :- #0.205.
link(39,117) :- #0.256.
link(117,39) :- #0.158.
link(39,128) :- #0.625.
link(128,39) :- #0.693.
link(40,47) :- #0.422.
link(47,40) :- #0.647.
link(40,68) :- #0.163.
link(68,40) :- #0.364.
link(40,70) :- #0.58.
link(70,40) :- #0.788.
link(40,75) :- #0.768.
link(75,40) :- #0.107.
link(40,96) :- #0.823.
link(96,40) :- #0.312.
link(40,124) :- #0.412.
link(124,40) :- #0.428.
link(41,47) :- #0.338.
link(47,41) :- #0.943.
link(41,83) :- #0.886.
link(83,41) :- #0.288.
link(41,85) :- #0.577.
link(85,41) :- #0.651.
link(41,91) :- #0.087.
link(91,41) :- #0.363.
link(41,104) :- #0.226.
link(104,41) :- #0.584.
link(41,127) :- #0.348.
link(127,41) :- #0.61.
link(42,47) :- #0.603.
link(47,42) :- #0.847.
link(42,49) :- #0.325.
link(49,42) :- #0.819.
link(42,52) :- #0.591.
link(52,42) :- #0.159.
link(42,54) :- #0.197.
link(54,42) :- #0.818.
link(42,59) :- #0.448.
link(59,42) :- #0.697.
link(42,64) :- #0.991.
link(64,42) :- #0.116.
link(42,72) :- #0.129.
link(72,42) :- #0.045.
link(42,82) :- #0.163.
link(82,42) :- #0.145.
link(42,96) :- #0.5.
link(96,42) :- #0.54.
link(42,101) :- #0.269.
link(101,42) :- #0.602.
link(42,113) :- #0.564.
link(113,42) :- #0.496.
link(42,116) :- #0.393.
link(116,42) :- #0.177.
link(42,126) :- #0.502.
link(126,42) :- #0.687.
link(42,130) :- #0.002.
link(130,42) :- #0.606.
link(43,46) :- #0.728.
link(46,43) :- #0.191.
link(43,51) :- #0.259.
link(51,43) :- #0.262.
link(43,55) :- #0.881.
link(55,43) :- #0.676.
link(43,67) :- #0.529.
link(67,43) :- #0.693.
link(43,92) :- #0.546.
link(92,43) :- #0.557.
link(43,115) :- #0.283.
link(115,43) :- #0.53.
link(43,123) :- #0.946.
link(123,43) :- #0.156.
link(43,129) :- #0.965.
link(129,43) :- #0.213.
link(44,52) :- #0.707.
link(52,44) :- #0.204.
link(44,61) :- #0.302.
link(61,44) :- #0.154.
link(44,68) :- #0.234.
link(68,44) :- #0.251.
link(44,89) :- #0.055.
link(89,44) :- #0.221.
link(44,112) :- #0.22.
link(112,44) :- #0.942.
link(44,116) :- #0.499.
link(116,44) :- #0.287.
link(45,61) :- #0.164.
link(61,45) :- #0.785.
link(45,63) :- #0.82.
link(63,45) :- #0.647.
link(45,90) :- #0.614.
link(90,45) :- #0.082.
link(45,94) :- #0.785.
link(94,45) :- #0.244.
link(45,102) :- #0.661.
link(102,45) :- #0.859.
link(45,122) :- #0.137.
link(122,45) :- #0.275.
link(45,123) :- #0.292.
link(123,45) :- #0.911.
link(45,125) :- #0.37.
link(125,45) :- #0.86.
link(45,129) :- #0.633.
link(129,45) :- #0.873.
link(46,57) :- #0.329.
link(57,46) :- #0.447.
link(46,66) :- #0.432.
link(66,46) :- #0.529.
link(46,71) :- #0.016.
link(71,46) :- #0.671.
link(46,84) :- #0.987.
link(84,46) :- #0.238.
link(46,114) :- #0.591.
link(114,46) :- #0.623.
link(47,79) :- #0.852.
link(79,47) :- #0.5.
link(47,89) :- #0.625.
link(89,47) :- #0.467.
link(47,94) :- #0.399.
link(94,47) :- #0.716.
link(47,122) :- #0.778.
link(122,47) :- #0.905.
link(47,124) :- #0.492.
link(124,47) :- #0.088.
link(47,125) :- #0.299.
link(125,47) :- #0.053.
link(48,71) :- #0.186.
link(71,48) :- #0.525.
link(48,74) :- #0.696.
link(74,48) :- #0.353.
link(48,92) :- #0.49.
link(92,48) :- #0.235.
link(48,95) :- #0.968.
link(95,48) :- #0.527.
link(49,57) :- #0.446.
link(57,49) :- #0.082.
link(49,74) :- #0.515.
link(74,49) :- #0.49.
link(49,98) :- #0.36.
link(98,49) :- #0.768.
link(49,112) :- #0.983.
link(112,49) :- #0.209.
link(49,113) :- #0.093.
link(113,49) :- #0.562.
link(49,115) :- #0.362.
link(115,49) :- #0.676.
link(49,118) :- #0.442.
link(118,49) :- #0.8.
link(49,125) :- #0.837.
link(125,49) :- #0.433.
link(49,128) :- #0.545.
link(128,49) :- #0.221.
link(49,130) :- #0.44.
link(130,49) :- #0.142.
link(50,55) :- #0.617.
link(55,50) :- #0.671.
link(50,65) :- #0.31.
link(65,50) :- #0.742.
link(50,81) :- #0.592.
link(81,50) :- #0.79.
link(50,82) :- #0.275.
link(82,50) :- #0.354.
link(50,88) :- #0.276.
link(88,50) :- #0.312.
link(50,92) :- #0.884.
link(92,50) :- #0.733.
link(50,95) :- #0.404.
link(95,50) :- #0.109.
link(50,99) :- #0.795.
link(99,50) :- #0.017.
link(50,116) :- #0.646.
link(116,50) :- #0.377.
link(51,52) :- #0.239.
link(52,51) :- #0.637.
link(51,75) :- #0.751.
link(75,51) :- #0.569.
link(51,82) :- #0.999.
link(82,51) :- #0.483.
link(51,85) :- #0.893.
link(85,51) :- #0.062.
link(51,88) :- #0.997.
link(88,51) :- #0.006.
link(51,104) :- #0.211.
link(104,51) :- #0.857.
link(51,105) :- #0.897.
link(105,51) :- #0.544.
link(51,114) :- #0.852.
link(114,51) :- #0.078.
link(51,121) :- #0.664.
link(121,51) :- #0.299.
link(52,61) :- #0.607.
link(61,52) :- #0.978.
link(52,82) :- #0.287.
link(82,52) :- #0.59.
link(52,105) :- #0.865.
link(105,52) :- #0.86.
link(52,117) :- #0.886.
link(117,52) :- #0.97.
link(52,119) :- #0.899.
link(119,52) :- #0.487.
link(52,120) :- #0.641.
link(120,52) :- #0.882.
link(52,121) :- #0.935.
link(121,52) :- #0.728.
link(53,63) :- #0.711.
link(63,53) :- #0.679.
link(53,68) :- #0.555.
link(68,53) :- #0.426.
link(53,89) :- #0.073.
link(89,53) :- #0.286.
link(53,98) :- #0.371.
link(98,53) :- #0.367.
link(53,101) :- #0.568.
link(101,53) :- #0.604.
link(53,109) :- #0.713.
link(109,53) :- #0.505.
link(53,124) :- #0.917.
link(124,53) :- #0.125.
link(54,73) :- #0.121.
link(73,54) :- #0.713.
link(54,83) :- #0.031.
link(83,54) :- #0.403.
link(54,124) :- #0.552.
link(124,54) :- #0.618.
link(55,57) :- #0.897.
link(57,55) :- #0.936.
link(55,68) :- #0.263.
link(68,55) :- #0.034.
link(55,86) :- #0.268.
link(86,55) :- #0.322.
link(55,104) :- #0.912.
link(104,55) :- #0.978.
link(55,116) :- #0.291.
link(116,55) :- #0.865.
link(55,126) :- #0.497.
link(126,55) :- #0.779.
link(56,59) :- #0.269.
link(59,56) :- #0.058.
link(56,76) :- #0.588.
link(76,56) :- #0.713.
link(56,83) :- #0.738.
link(83,56) :- #0.059.
link(56,100) :- #0.015.
link(100,56) :- #0.529.
link(56,127) :- #0.561.
link(127,56) :- #0.484.
link(57,61) :- #0.691.
link(61,57) :- #0.036.
link(57,71) :- #0.555.
link(71,57) :- #0.941.
link(57,75) :- #0.843.
link(75,57) :- #0.242.
link(57,84) :- #0.144.
link(84,57) :- #0.061.
link(57,118) :- #0.141.
link(118,57) :- #0.732.
link(57,127) :- #0.51.
link(127,57) :- #0.461.
link(58,68) :- #0.594.
link(68,58) :- #0.789.
link(58,73) :- #0.802.
link(73,58) :- #0.776.
link(58,80) :- #0.653.
link(80,58) :- #0.013.
link(58,83) :- #0.029.
link(83,58) :- #0.489.
link(58,95) :- #0.596.
link(95,58) :- #0.722.
link(58,100) :- #0.792.
link(100,58) :- #0.751.
link(58,121) :- #0.558.
link(121,58) :- #0.53.
link(59,61) :- #0.691.
link(61,59) :- #0.287.
link(59,66) :- #0.505.
link(66,59) :- #0.062.
link(59,77) :- #0.124.
link(77,59) :- #0.245.
link(59,81) :- #0.406.
link(81,59) :- #0.645.
link(59,105) :- #0.715.
link(105,59) :- #0.63.
link(59,107) :- #0.864.
link(107,59) :- #0.907.
link(59,110) :- #0.324.
link(110,59) :- #0.625.
link(59,128) :- #0.585.
link(128,59) :- #0.905.
link(60,64) :- #0.841.
link(64,60) :- #0.494.
link(60,73) :- #0.54.
link(73,60) :- #0.582.
link(60,78) :- #0.593.
link(78,60) :- #0.032.
link(60,129) :- #0.133.
link(129,60) :- #0.037.
link(61,70) :- #0.663.
link(70,61) :- #0.4.
link(61,72) :- #0.6.
link(72,61) :- #0.104.
link(61,99) :- #0.76.
link(99,61) :- #0.885.
link(61,103) :- #0.489.
link(103,61) :- #0.654.
link(62,65) :- #0.977.
link(65,62) :- #0.446.
link(62,69) :- #0.998.
link(69,62) :- #0.746.
link(62,74) :- #0.277.
link(74,62) :- #0.076.
link(62,83) :- #0.201.
link(83,62) :- #0.331.
link(62,98) :- #0.177.
link(98,62) :- #0.761.
link(62,105) :- #0.371.
link(105,62) :- #0.575.
link(62,113) :- #0.764.
link(113,62) :- #0.685.
link(62,115) :- #0.491.
link(115,62) :- #0.644.
link(62,116) :- #0.068.
link(116,62) :- #0.627.
link(63,66) :- #0.393.
link(66,63) :- #0.925.
link(63,68) :- #0.32.
link(68,63) :- #0.326.
link(63,75) :- #0.152.
link(75,63) :- #0.263.
link(63,81) :- #0.713.
link(81,63) :- #0.809.
link(63,89) :- #0.328.
link(89,63) :- #0.919.
link(63,93) :- #0.865.
link(93,63) :- #0.761.
link(63,94) :- #0.458.
link(94,63) :- #0.223.
link(63,95) :- #0.115.
link(95,63) :- #0.666.
link(63,98) :- #0.924.
link(98,63) :- #0.292.
link(63,102) :- #0.292.
link(102,63) :- #0.265.
link(63,115) :- #0.649.
link(115,63) :- #0.054.
link(63,118) :- #0.577.
link(118,63) :- #0.498.
link(63,129) :- #0.298.
link(129,63) :- #0.999.
link(64,74) :- #0.084.
link(74,64) :- #0.34.
link(64,82) :- #0.067.
link(82,64) :- #0.517.
link(64,97) :- #0.569.
link(97,64) :- #0.172.
link(64,105) :- #0.224.
link(105,64) :- #0.285.
link(64,111) :- #0.379.
link(111,64) :- #0.745.
link(64,118) :- #0.221.
link(118,64) :- #0.337.
link(64,120) :- #0.81.
link(120,64) :- #0.509.
link(64,129) :- #0.134.
link(129,64) :- #0.171.
link(65,73) :- #0.138.
link(73,65) :- #0.497.
link(65,88) :- #0.892.
link(88,65) :- #0.458.
link(65,95) :- #0.068.
link(95,65) :- #0.089.
link(65,104) :- #0.152.
link(104,65) :- #0.601.
link(65,109) :- #0.218.
link(109,65) :- #0.46.
link(65,110) :- #0.873.
link(110,65) :- #0.037.
link(65,112) :- #0.841.
link(112,65) :- #0.087.
link(65,117) :- #0.713.
link(117,65) :- #0.812.
link(65,119) :- #0.659.
link(119,65) :- #0.355.
link(65,121) :- #0.127.
link(121,65) :- #0.581.
link(66,88) :- #0.736.
link(88,66) :- #0.544.
link(66,98) :- #0.662.
link(98,66) :- #0.831.
link(66,102) :- #0.414.
link(102,66) :- #0.555.
link(66,106) :- #0.908.
link(106,66) :- #0.419.
link(66,120) :- #0.799.
link(120,66) :- #0.956.
link(67,72) :- #0.234.
link(72,67) :- #0.414.
link(67,83) :- #0.095.
link(83,67) :- #0.814.
link(67,89) :- #0.903.
link(89,67) :- #0.923.
link(67,107) :- #0.53.
link(107,67) :- #0.419.
link(67,115) :- #0.005.
link(115,67) :- #0.127.
link(67,120) :- #0.051.
link(120,67) :- #0.183.
link(67,124) :- #0.538.
link(124,67) :- #0.737.
link(68,70) :- #0.58.
link(70,68) :- #0.656.
link(68,91) :- #0.704.
link(91,68) :- #0.733.
link(68,101) :- #0.216.
link(101,68) :- #0.689.
link(68,108) :- #0.395.
link(108,68) :- #0.592.
link(68,112) :- #0.374.
link(112,68) :- #0.102.
link(68,122) :- #0.786.
link(122,68) :- #0.529.
link(69,76) :- #0.747.
link(76,69) :- #0.03.
link(69,89) :- #0.106.
link(89,69) :- #0.165.
link(69,91) :- #0.044.
link(91,69) :- #0.908.
link(69,99) :- #0.766.
link(99,69) :- #0.76.
link(69,104) :- #0.411.
link(104,69) :- #0.442.
link(69,106) :- #0.188.
link(106,69) :- #0.811.
link(69,108) :- #0.062.
link(108,69) :- #0.163.
link(70,94) :- #0.655.
link(94,70) :- #0.826.
link(70,98) :- #0.045.
link(98,70) :- #0.099.
link(70,100) :- #0.024.
link(100,70) :- #0.975.
link(70,108) :- #0.941.
link(108,70) :- #0.831.
link(70,109) :- #0.247.
link(109,70) :- #0.506.
link(70,117) :- #0.194.
link(117,70) :- #0.904.
link(70,120) :- #0.608.
link(120,70) :- #0.508.
link(70,122) :- #0.184.
link(122,70) :- #0.913.
link(70,125) :- #0.635.
link(125,70) :- #0.085.
link(71,80) :- #0.202.
link(80,71) :- #0.285.
link(71,97) :- #0.73.
link(97,71) :- #0.126.
link(71,98) :- #0.45.
link(98,71) :- #0.144.
link(71,99) :- #0.092.
link(99,71) :- #0.865.
link(71,101) :- #0.6.
link(101,71) :- #0.653.
link(71,122) :- #0.966.
link(122,71) :- #0.777.
link(71,129) :- #0.545.
link(129,71) :- #0.063.
link(72,78) :- #0.372.
link(78,72) :- #0.22.
link(72,105) :- #0.67.
link(105,72) :- #0.534.
link(72,113) :- #0.273.
link(113,72) :- #0.726.
link(73,75) :- #0.418.
link(75,73) :- #0.667.
link(73,81) :- #0.559.
link(81,73) :- #0.054.
link(73,93) :- #0.386.
link(93,73) :- #0.956.
link(73,94) :- #0.93.
link(94,73) :- #0.762.
link(73,96) :- #0.825.
link(96,73) :- #0.976.
link(73,104) :- #0.822.
link(104,73) :- #0.239.
link(73,109) :- #0.821.
link(109,73) :- #0.61.
link(73,114) :- #0.339.
link(114,73) :- #0.052.
link(73,120) :- #0.688.
link(120,73) :- #0.74.
link(73,129) :- #0.834.
link(129,73) :- #0.382.
link(74,84) :- #0.23.
link(84,74) :- #0.434.
link(74,106) :- #0.478.
link(106,74) :- #0.796.
link(74,111) :- #0.473.
link(111,74) :- #0.216.
link(74,128) :- #0.135.
link(128,74) :- #0.042.
link(75,78) :- #0.717.
link(78,75) :- #0.759.
link(75,87) :- #0.812.
link(87,75) :- #0.063.
link(75,96) :- #0.112.
link(96,75) :- #0.401.
link(75,97) :- #0.448.
link(97,75) :- #0.359.
link(75,106) :- #0.337.
link(106,75) :- #0.863.
link(75,111) :- #0.148.
link(111,75) :- #0.839.
link(75,115) :- #0.058.
link(115,75) :- #0.373.
link(76,85) :- #0.773.
link(85,76) :- #0.898.
link(76,86) :- #0.977.
link(86,76) :- #0.814.
link(76,88) :- #0.188.
link(88,76) :- #0.611.
link(76,91) :- #0.12.
link(91,76) :- #0.414.
link(76,98) :- #0.153.
link(98,76) :- #0.39.
link(76,107) :- #0.141.
link(107,76) :- #0.774.
link(76,113) :- #0.526.
link(113,76) :- #0.564.
link(76,116) :- #0.579.
link(116,76) :- #0.393.
link(76,117) :- #0.113.
link(117,76) :- #0.986.
link(76,119) :- #0.042.
link(119,76) :- #0.513.
link(76,120) :- #0.449.
link(120,76) :- #0.774.
link(77,79) :- #0.955.
link(79,77) :- #0.513.
link(77,83) :- #0.144.
link(83,77) :- #0.564.
link(77,89) :- #0.02.
link(89,77) :- #0.749.
link(77,109) :- #0.191.
link(109,77) :- #0.622.
link(77,113) :- #0.472.
link(113,77) :- #0.869.
link(77,119) :- #0.07.
link(119,77) :- #0.623.
link(77,125) :- #0.382.
link(125,77) :- #0.069.
link(78,81) :- #0.196.
link(81,78) :- #0.018.
link(78,94) :- #0.941.
link(94,78) :- #0.436.
link(78,106) :- #0.767.
link(106,78) :- #0.294.
link(78,120) :- #0.199.
link(120,78) :- #0.594.
link(78,123) :- #0.574.
link(123,78) :- #0.929.
link(79,82) :- #0.287.
link(82,79) :- #0.042.
link(79,88) :- #0.502.
link(88,79) :- #0.058.
link(80,83) :- #0.46.
link(83,80) :- #0.289.
link(80,96) :- #0.152.
link(96,80) :- #0.124.
link(80,108) :- #0.392.
link(108,80) :- #0.614.
link(81,105) :- #0.123.
link(105,81) :- #0.799.
link(81,119) :- #0.279.
link(119,81) :- #0.773.
link(82,91) :- #0.432.
link(91,82) :- #0.03.
link(82,107) :- #0.296.
link(107,82) :- #0.451.
link(82,113) :- #0.412.
link(113,82) :- #0.966.
link(82,115) :- #0.486.
link(115,82) :- #0.755.
link(83,101) :- #0.348.
link(101,83) :- #0.066.
link(83,119) :- #0.027.
link(119,83) :- #0.608.
link(83,128) :- #0.197.
link(128,83) :- #0.702.
link(84,95) :- #0.053.
link(95,84) :- #0.795.
link(84,109) :- #0.894.
link(109,84) :- #0.857.
link(84,116) :- #0.501.
link(116,84) :- #0.489.
link(84,117) :- #0.231.
link(117,84) :- #0.016.
link(85,96) :- #0.279.
link(96,85) :- #0.875.
link(85,111) :- #0.591.
link(111,85) :- #0.29.
link(85,115) :- #0.013.
link(115,85) :- #0.638.
link(86,111) :- #0.415.
link(111,86) :- #0.226.
link(86,129) :- #0.543.
link(129,86) :- #0.429.
link(87,89) :- #0.298.
link(89,87) :- #0.446.
link(87,95) :- #0.79.
link(95,87) :- #0.309.
link(87,114) :- #0.685.
link(114,87) :- #0.147.
link(87,116) :- #0.773.
link(116,87) :- #0.818.
link(87,123) :- #0.022.
link(123,87) :- #0.079.
link(87,127) :- #0.981.
link(127,87) :- #0.808.
link(87,128) :- #0.767.
link(128,87) :- #0.766.
link(88,89) :- #0.431.
link(89,88) :- #0.942.
link(88,95) :- #0.259.
link(95,88) :- #0.439.
link(88,130) :- #0.226.
link(130,88) :- #0.823.
link(89,96) :- #0.029.
link(96,89) :- #0.419.
link(89,97) :- #0.982.
link(97,89) :- #0.641.
link(89,108) :- #0.873.
link(108,89) :- #0.949.
link(89,121) :- #0.648.
link(121,89) :- #0.864.
link(89,127) :- #0.903.
link(127,89) :- #0.812.
link(89,130) :- #0.308.
link(130,89) :- #0.736.
link(90,99) :- #0.685.
link(99,90) :- #0.421.
link(90,105) :- #0.713.
link(105,90) :- #0.756.
link(90,119) :- #0.654.
link(119,90) :- #0.586.
link(91,98) :- #0.455.
link(98,91) :- #0.12.
link(91,114) :- #0.737.
link(114,91) :- #0.267.
link(91,115) :- #0.896.
link(115,91) :- #0.6.
link(91,121) :- #0.829.
link(121,91) :- #0.506.
link(92,93) :- #0.432.
link(93,92) :- #0.075.
link(92,129) :- #0.697.
link(129,92) :- #0.425.
link(93,101) :- #0.516.
link(101,93) :- #0.978.
link(93,102) :- #0.355.
link(102,93) :- #0.758.
link(93,109) :- #0.55.
link(109,93) :- #0.088.
link(93,116) :- #0.937.
link(116,93) :- #0.528.
link(93,126) :- #0.419.
link(126,93) :- #0.24.
link(94,106) :- #0.112.
link(106,94) :- #0.317.
link(94,122) :- #0.887.
link(122,94) :- #0.792.
link(95,110) :- #0.662.
link(110,95) :- #0.165.
link(95,124) :- #0.385.
link(124,95) :- #0.595.
link(96,97) :- #0.757.
link(97,96) :- #0.778.
link(96,103) :- #0.051.
link(103,96) :- #0.304.
link(96,112) :- #0.833.
link(112,96) :- #0.993.
link(96,123) :- #0.319.
link(123,96) :- #0.41.
link(96,127) :- #0.733.
link(127,96) :- #0.597.
link(96,129) :- #0.361.
link(129,96) :- #0.144.
link(97,102) :- #0.786.
link(102,97) :- #0.802.
link(97,103) :- #0.262.
link(103,97) :- #0.508.
link(97,113) :- #0.69.
link(113,97) :- #0.204.
link(97,121) :- #0.937.
link(121,97) :- #0.146.
link(97,123) :- #0.134.
link(123,97) :- #0.614.
link(97,130) :- #0.242.
link(130,97) :- #0.535.
link(98,99) :- #0.981.
link(99,98) :- #0.017.
link(98,105) :- #0.933.
link(105,98) :- #0.223.
link(98,107) :- #0.988.
link(107,98) :- #0.332.
link(99,107) :- #0.818.
link(107,99) :- #0.424.
link(99,108) :- #0.519.
link(108,99) :- #0.016.
link(99,109) :- #0.37.
link(109,99) :- #0.656.
link(99,112) :- #0.57.
link(112,99) :- #0.454.
link(99,128) :- #0.928.
link(128,99) :- #0.771.
link(100,124) :- #0.035.
link(124,100) :- #0.138.
link(100,127) :- #0.567.
link(127,100) :- #0.583.
link(102,104) :- #0.005.
link(104,102) :- #0.896.
link(102,105) :- #0.303.
link(105,102) :- #0.542.
link(103,105) :- #0.698.
link(105,103) :- #0.435.
link(103,123) :- #0.176.
link(123,103) :- #0.728.
link(103,126) :- #0.478.
link(126,103) :- #0.026.
link(104,108) :- #0.297.
link(108,104) :- #0.805.
link(104,118) :- #0.128.
link(118,104) :- #0.633.
link(104,122) :- #0.229.
link(122,104) :- #0.998.
link(104,126) :- #0.926.
link(126,104) :- #0.579.
link(104,129) :- #0.441.
link(129,104) :- #0.377.
link(105,113) :- #0.08.
link(113,105) :- #0.466.
link(105,128) :- #0.387.
link(128,105) :- #0.473.
link(106,119) :- #0.161.
link(119,106) :- #0.264.
link(107,119) :- #0.409.
link(119,107) :- #0.134.
link(107,124) :- #0.439.
link(124,107) :- #0.885.
link(107,126) :- #0.807.
link(126,107) :- #0.502.
link(108,114) :- #0.636.
link(114,108) :- #0.522.
link(108,116) :- #0.377.
link(116,108) :- #0.449.
link(108,117) :- #0.74.
link(117,108) :- #0.073.
link(108,122) :- #0.645.
link(122,108) :- #0.039.
link(108,127) :- #0.078.
link(127,108) :- #0.043.
link(109,119) :- #0.946.
link(119,109) :- #0.667.
link(110,114) :- #0.102.
link(114,110) :- #0.999.
link(111,118) :- #0.251.
link(118,111) :- #0.129.
link(111,120) :- #0.85.
link(120,111) :- #0.412.
link(112,117) :- #0.895.
link(117,112) :- #0.818.
link(112,120) :- #0.333.
link(120,112) :- #0.083.
link(112,128) :- #0.507.
link(128,112) :- #0.435.
link(113,124) :- #0.222.
link(124,113) :- #0.457.
link(114,124) :- #0.044.
link(124,114) :- #0.741.
link(114,125) :- #0.983.
link(125,114) :- #0.46.
link(115,125) :- #0.628.
link(125,115) :- #0.015.
link(116,122) :- #0.713.
link(122,116) :- #0.658.
link(117,124) :- #0.402.
link(124,117) :- #0.675.
link(119,122) :- #0.264.
link(122,119) :- #0.218.
link(120,121) :- #0.965.
link(121,120) :- #0.133.
link(120,123) :- #0.241.
link(123,120) :- #0.295.
link(120,126) :- #0.614.
link(126,120) :- #0.904.
link(120,129) :- #0.12.
link(129,120) :- #0.942.
link(123,125) :- #0.993.
link(125,123) :- #0.753.
link(124,127) :- #0.164.
link(127,124) :- #0.829.
link(126,128) :- #0.422.
link(128,126) :- #0.467.
link(126,130) :- #0.177.
link(130,126) :- #0.88.
link(127,128) :- #0.728.
link(128,127) :- #0.482.
link(127,129) :- #0.157.
link(129,127) :- #0.392.
link(128,130) :- #0.504.
link(130,128) :- #0.068.
colour(red0).
colour(green0).
colour(blue0).
colour(yellow0).
colour(cyan0).
